A Feasibility Study on the Validation of Domain Specific Languages Using OWL 2 Reasoners
نویسندگان
چکیده
In this article we report on our experiences using the OWL 2 reasoners HermiT and Pellet to validate domain-specific languages defined using UML-like metamodels. Currently there exists few tools to validate metamodels. Using ontologies and reasoners to define and validate metamodels is a possible solution to this problem. We evaluate the reasoners according to expressiveness, correctness, performance and problem reporting capabilities. We use metamodels from the Atlantic Zoo metamodel repository as input for our comparison, and report on our experiences with the zoo.
منابع مشابه
Pushing the limits of OWL 2 reasoners in ontology alignment repair problems
Ontologies play a key role in the development of the Semantic Web and are being used in many diverse application domains such as biomedicine and e-commerce. An application domain may have been modeled according to different points of view and purposes. This situation usually leads to the development of different ontologies that intuitively overlap, but that use different naming and modeling con...
متن کاملA Rigorous Characterization of Classification Performance - A Tale of Four Reasoners
A number of ontology reasoners have been developed for reasoning over highly expressive ontology languages such as OWL DL and OWL 2 DL. Such languages have, as a consequence of high expressivity, high worst-case complexity. Therefore, reasoning tasks such as classification sometimes take considerable time on large and complex ontologies. In this paper, we carry out a comprehensive comparative s...
متن کاملOn the Feasibility of Using OWL 2 DL Reasoners for Ontology Matching Problems
In this paper we discuss the feasibility of using OWL 2 DL reasoners to diagnose the integration of large-scale ontologies via mappings. To this end, we have extended our ontology matching system LOGMAP with complete OWL 2 DL reasoning and diagnosis capabilities. We have evaluated the new system, which we call LOGMAP-FULL, with the largest matching problems of the Ontology Alignment Evaluation ...
متن کاملOn the Feasibility of Using OWL 2 Reasoners in Ontology Alignment Repair Problems
The problem of (semi-)automatically computing mappings between independently developed ontologies is usually referred to as the ontology matching problem. A number of sophisticated ontology matching systems have been developed in the last years [7, 26]. Ontology matching systems, however, rely on lexical and structural heuristics and the integration of the input ontologies and the mappings may ...
متن کاملA Pair of OWL 2 RL Reasoners
OWL 2 RL is an expressive OWL profile designed to be amenable to implementation using conventional rule-based technologies. The profile specification provides a direct pathway to develop OWL reasoners using offthe-shelf rule engines. In this paper, we describe our experiences developing two OWL 2 RL reasoners using the popular Jess and Drools rule systems. A useful feature of these implementati...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2010